Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science)
by Axel Legay,Saddek Bensalem
ISBN 13: 9783642407864
Format: Paperback (444 pages) Publisher: Springer Published: 05 Sep 2013
Save for later
From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... 8415 (Lecture Notes in Computer Science)
by Saddek Bensalem,Yassine Lakhnech,Axel Legay
ISBN 13: 9783642548475
Format: Paperback (292 pages) Publisher: Springer Published: 11 Mar 2014
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, ... 11181 (Lecture Notes in Computer Science)
by Mohamed Faouzi Atig,Saddek Bensalem,Simon Bliudze,Bruno Monsuez
ISBN 13: 9783030003586
Format: Paperback (236 pages) Publisher: Springer Published: 07 Oct 2018